🇬🇧 en de 🇩🇪

totally ordered adjective

  • (set theory, order theory) That is equipped with a total order, that is a subset of (the ground set of) a partially ordered set whose partial order is a total order with respect to said subset.
total geordnet
Wiktionary Links